(Commands): Remove doubled `with'.
authorGerd Moellmann <gerd@gnu.org>
Fri, 23 Feb 2001 13:02:36 +0000 (13:02 +0000)
committerGerd Moellmann <gerd@gnu.org>
Fri, 23 Feb 2001 13:02:36 +0000 (13:02 +0000)
commitf04352123bb0fca7742f9ec411c8a854ef46bb2f
tree1bbe07cc457283e9572e696f7b0f1629b3ba10e7
parentb4e2db832652362d47a8c5032f0776a6eb540673
(Commands): Remove doubled `with'.
(Options (Viewing Cross-References)): Remove doubled `with'.
man/reftex.texi